Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Semantics
• Heap
• Predicate
• Immutable object
• Separation logic
• First-order logic
• Control
• FO

Bigtable • Google’s first answer to the question: “how do you store semi-structured data at scale?” o scale in capacity § e.g., webtable

Source URL: courses.cs.washington.edu

Proxy form for the Extraordinary General Meeting of ABC Data S.A. convened for 21 October 2015 Shareholder: ________________________________________________________ (first and last name/business name)

Source URL: en.abcdata.eu

Healthy Stores for a Healthy Community Technical Report Issued: March 5, 2014 Background The California Department of Public Health (CDPH), California Tobacco Control Program’s (CTCP) first efforts in collecting data i

Source URL: www.healthystoreshealthycommunity.com

Program Director/Principal Investigator (Last, First, Middle): Kishor, Puneet BIOGRAPHICAL SKETCH Provide the following information for the Senior/key personnel and other significant contributors in the order listed on

Source URL: www.punkish.org

• Open data
• Computing
• Academia
• Open content
• Geographic information systems
• Open science
• Data publishing
• Data sharing
• Open Source Geospatial Foundation
• Urban and Regional Information Systems Association
• Codata

2003 Charlotte Harbor National Estuary Program Office Summary Water Quality Data Analysis and Report for the Charlotte Harbor NEP Janicki Environmental Inc. delivered the first large original research project contracted

Source URL: www.chnep.org

Metadata of the chapter that will be visualized online Chapter Title From Phenomenology to the Self-Measurement Methodology of First-Person Data

Source URL: www.umsl.edu

IOANE – INFRASOUND MONITORING NETWORK: FIRST DATA, FIRST RESULTS I.A. MOLDOVAN1, A.S. MOLDOVAN2, C. IONESCU1 1 National Institute for Earth Physics, P.O.Box MG-2, ROBucharest-Magurele, Romania,

Source URL: www.nipne.ro

PERSONAL DATA FORM SECTION I – Employee Information First Name: Middle: Employee Last Name:

Source URL: www.gs.washington.edu

• Human migration
• Travel visa
• F visa
• Cultural globalization
• Cultural geography

A New Approach to Name-Based Link-State Routing for Information-Centric Networks 1 Ehsan Hemmati1 and J.J. Garcia-Luna-Aceves1,2 Department of Computer Engineering, University of California, Santa Cruz, CA 95064

Source URL: conferences2.sigcomm.org

• Computing
• Routing protocols
• Network architecture
• Routing
• Open Shortest Path First
• Link-state advertisement
• Router
• Named data networking
• IP forwarding
• Link-state routing protocol
• Distance-vector routing protocol
• Metrics